Nuprl Definition : insert 11,40
insert(eq; a; L) == if deq-member(eq; a; L) then L else cons(a; L) fi  
latex

Definitionsdeq-member(eq; x; L), if b then t else f fi 
FDL editor aliasesinsert

origin